NuFTA: A CASE Tool for Automatic Software Fault Tree Analysis
نویسندگان
چکیده
Software fault tree analysis (SFTA) [1] is widely used for analyzing software requiring high-reliability. In SFTA, experts predict failures of system through HAZOP (Hazard and Operability study) or FMEA (Failure Mode and Effects Analysis) and draw software fault trees about the failures. Quality and cost of the software fault tree, therefore, depend on knowledge and experience of the experts. This paper proposes a CASE tool NuFTA in order to assist experts of safety analysis. The NuFTA automatically generate software fault trees from NuSCR formal requirements specification [2]. NuSCR is a formal specification language used for specifying software requirements of KNICS RPS (Reactor Protection System) in Korea. We used the SFTA templates proposed by [3] in order to generate SFTA automatically. The NuFTA also generates logical formulae summarizing the failure’s cause, and we have a plan to use the formulae usefully through formal verification techniques.
منابع مشابه
Bayes Networks and Fault Tree Analysis Application in Reliability Estimation (Case Study: Automatic Water Sprinkler System)
In this study, the application of Bayes networks and fault tree analysis in reliability estimation have been investigated. Fault tree analysis is one of the most widely used methods for estimating reliability. In recent years, a method called "Bayes Network" has been used, which is a dynamic method, and information about the probable failure of the system components will be updated according to...
متن کاملImprovement of the Reliability of Automatic Manufacture Systems by Using FTA Technique
In recent years, Many manufacturing industries for promoting their efficiency have tended to use the automatic manufacturing systems. Expanding automatic systems and to increase their complexity are representing the necessity of studying a proper functional quality and using reliable equipment in such systems more than ever. In this direction, the technique of fault tree analysis (FTA), along w...
متن کاملError assessment in man-machine systems using the CREAM method and human-in-the-loop fault tree analysis
Background and Objectives: Despite contribution to catastrophic accidents, human errors have been generally ignored in the design of human-machine (HM) systems and the determination of the level of automation (LOA). This paper aims to develop a method to estimate the level of automation in the early stage of the design phase considering both human and machine performance. Methods: A quantita...
متن کاملApplying Fault Tree Analysis (FTA) as a Top Level Risk Management Tool in Software Development
This article presents the case that fault tree analysis is the better risk analysis method to apply early in software development projects.
متن کاملAutomatic Reliability Analysis of Electronic Designs using Fault Trees
In embedded systems development safety and reliability are important quality characteristics. Fault tree analysis is often used to determine these characteristics. Generalized fault trees improve the readability and thus prevent the insertion of bugs, e.g., during manual modification. Fault tree analyses are usually performed manually. Taking into account the high complexity of large, technical...
متن کامل